workspaceAnimation: Notify 'progress' property properly

The getter of the MonitorGroup's 'progress' property sets
some values based on it, but doesn't notify the property
change.

Fix that by calling this.notify('progress') when the setter
is called.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2881>

diff --git a/js/ui/workspaceAnimation.js b/js/ui/workspaceAnimation.js
index ab405b35d72e9908448cbdb6e66dc396588f5554..93be07e2cd1e2b5c77a1e7f822a90223cffef123 100644 (file)
--- a/js/ui/workspaceAnimation.js
+++ b/js/ui/workspaceAnimation.js
@@ -214,6 +214,8 @@ const MonitorGroup = GObject.registerClass({
             this._container.x = Math.round(p * this.baseDistance);
         else
             this._container.x = -Math.round(p * this.baseDistance);
+
+        this.notify('progress');
     }
 
     get index() {